Computer aided verification
- Författare
- (3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings K.G. Larsen, A. Skou (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | cop. 1992 | Tyskland, Berlin, New York | x, 487 sidor. ill. |